[next] [tail] [up]

2.2.1 Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 94 95 96 96 107 98 88

N.S.

1 1.00 1.00 1.01 1.02 1.02 1.14 1.04 0.94

time (sec)

N/A 0.243 0.024 2.974 0.200 0.242 0.035 0.262 0.053

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 70 71 70 70 76 73 65

N.S.

1 1.00 1.00 1.01 1.00 1.00 1.09 1.04 0.93

time (sec)

N/A 0.228 0.015 2.292 0.219 0.234 0.032 0.305 4.288

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 50 49 48 48 53 50 48

N.S.

1 1.00 1.00 0.98 0.96 0.96 1.06 1.00 0.96

time (sec)

N/A 0.197 0.012 2.297 0.204 0.232 0.027 0.275 0.048

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 25 24 24 26 26 25

N.S.

1 1.00 1.00 0.89 0.86 0.86 0.93 0.93 0.89

time (sec)

N/A 0.170 0.008 0.113 0.195 0.245 0.029 0.287 0.036

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 40 34 34 99 82 34 31

N.S.

1 1.00 1.00 0.85 0.85 2.48 2.05 0.85 0.78

time (sec)

N/A 0.161 0.023 8.221 0.288 0.260 0.150 0.277 0.061

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 63 57 57 182 112 57 51

N.S.

1 1.00 1.00 0.90 0.90 2.89 1.78 0.90 0.81

time (sec)

N/A 0.170 0.040 2.273 0.287 0.255 0.214 0.266 4.473

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 82 77 92 300 150 78 82

N.S.

1 1.00 0.89 0.84 1.00 3.26 1.63 0.85 0.89

time (sec)

N/A 0.189 0.044 2.291 0.287 0.261 0.311 0.269 4.578

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 122 122 124 124 136 131 116

N.S.

1 1.00 1.00 1.00 1.02 1.02 1.11 1.07 0.95

time (sec)

N/A 0.284 0.020 2.283 0.204 0.241 0.035 0.275 4.342

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 82 86 82 82 97 91 75

N.S.

1 1.00 1.00 1.05 1.00 1.00 1.18 1.11 0.91

time (sec)

N/A 0.234 0.015 2.265 0.210 0.234 0.028 0.278 0.046

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 50 49 48 48 53 50 48

N.S.

1 1.00 1.00 0.98 0.96 0.96 1.06 1.00 0.96

time (sec)

N/A 0.194 0.007 2.270 0.198 0.244 0.024 0.289 0.047

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 59 64 68 179 172 72 90

N.S.

1 1.00 0.94 1.02 1.08 2.84 2.73 1.14 1.43

time (sec)

N/A 0.207 0.035 2.275 0.296 0.266 0.245 0.289 4.513

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 89 92 96 302 236 95 124

N.S.

1 1.00 1.09 1.12 1.17 3.68 2.88 1.16 1.51

time (sec)

N/A 0.248 0.048 2.277 0.280 0.259 0.404 0.286 4.573

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 129 106 124 138 449 223 126 130

N.S.

1 1.11 0.91 1.07 1.19 3.87 1.92 1.09 1.12

time (sec)

N/A 0.249 0.060 2.287 0.299 0.275 0.594 0.290 4.576

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 161 171 167 167 189 187 152

N.S.

1 1.00 1.05 1.11 1.08 1.08 1.23 1.21 0.99

time (sec)

N/A 0.336 0.019 2.257 0.209 0.260 0.034 0.265 4.841

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 122 122 124 124 136 131 116

N.S.

1 1.00 1.00 1.00 1.02 1.02 1.11 1.07 0.95

time (sec)

N/A 0.279 0.017 2.284 0.213 0.239 0.034 0.274 4.735

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 70 71 70 70 76 73 65

N.S.

1 1.00 1.00 1.01 1.00 1.00 1.09 1.04 0.93

time (sec)

N/A 0.224 0.011 2.270 0.295 0.242 0.032 0.276 0.033

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 93 116 122 290 238 130 145

N.S.

1 1.00 0.95 1.18 1.24 2.96 2.43 1.33 1.48

time (sec)

N/A 0.249 0.045 2.304 0.350 0.270 0.319 0.268 4.747

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 107 138 147 444 314 152 181

N.S.

1 1.00 1.00 1.29 1.37 4.15 2.93 1.42 1.69

time (sec)

N/A 0.277 0.047 2.332 0.283 0.250 0.637 0.285 0.102

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 130 141 167 187 618 422 180 240

N.S.

1 1.00 1.08 1.28 1.44 4.75 3.25 1.38 1.85

time (sec)

N/A 0.347 0.053 2.293 0.280 0.256 1.027 0.291 0.185

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 136 196 187 428 326 198 216

N.S.

1 1.00 0.96 1.38 1.32 3.01 2.30 1.39 1.52

time (sec)

N/A 0.302 0.061 2.326 0.279 0.261 0.482 0.276 4.749

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 92 116 122 292 238 129 146

N.S.

1 1.00 0.94 1.18 1.24 2.98 2.43 1.32 1.49

time (sec)

N/A 0.247 0.045 2.261 0.297 0.260 0.328 0.277 0.083

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 59 64 69 181 172 72 90

N.S.

1 1.00 0.94 1.02 1.10 2.87 2.73 1.14 1.43

time (sec)

N/A 0.205 0.035 2.275 0.295 0.252 0.268 0.270 4.723

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 40 34 33 98 82 33 32

N.S.

1 1.00 1.03 0.87 0.85 2.51 2.10 0.85 0.82

time (sec)

N/A 0.157 0.019 2.272 0.281 0.262 0.164 0.309 0.063

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 61 55 54 292 712 54 135

N.S.

1 1.00 0.87 0.79 0.77 4.17 10.17 0.77 1.93

time (sec)

N/A 0.169 0.030 2.335 0.286 0.266 2.933 0.279 0.321

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 127 95 93 133 711 0 122 3637

N.S.

1 1.17 0.87 0.85 1.22 6.52 0.00 1.12 33.37

time (sec)

N/A 0.235 0.116 2.377 0.286 0.352 0.000 0.279 5.649

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 198 151 158 277 1585 0 217 6033

N.S.

1 1.24 0.94 0.99 1.73 9.91 0.00 1.36 37.71

time (sec)

N/A 0.325 0.207 2.427 0.275 0.746 0.000 0.297 6.652

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 192 192 290 294 810 502 306 386

N.S.

1 1.00 1.00 1.51 1.53 4.22 2.61 1.59 2.01

time (sec)

N/A 0.375 0.065 2.406 0.285 0.291 1.097 0.285 4.666

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 142 206 213 612 403 220 261

N.S.

1 1.00 1.00 1.45 1.50 4.31 2.84 1.55 1.84

time (sec)

N/A 0.299 0.060 2.331 0.273 0.259 0.818 0.265 4.683

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 106 139 147 442 314 152 182

N.S.

1 1.00 1.00 1.31 1.39 4.17 2.96 1.43 1.72

time (sec)

N/A 0.268 0.042 2.318 0.288 0.279 0.583 0.273 0.103

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 88 94 95 297 236 94 124

N.S.

1 1.00 1.07 1.15 1.16 3.62 2.88 1.15 1.51

time (sec)

N/A 0.260 0.043 2.307 0.275 0.280 0.440 0.286 4.645

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 63 57 57 181 112 57 51

N.S.

1 1.00 1.00 0.90 0.90 2.87 1.78 0.90 0.81

time (sec)

N/A 0.176 0.032 2.284 0.284 0.259 0.214 0.277 4.592

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 125 109 95 132 699 0 121 3649

N.S.

1 1.16 1.01 0.88 1.22 6.47 0.00 1.12 33.79

time (sec)

N/A 0.242 0.088 2.357 0.305 0.359 0.000 0.279 5.352

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 190 136 133 294 1681 0 232 6183

N.S.

1 1.14 0.81 0.80 1.76 10.07 0.00 1.39 37.02

time (sec)

N/A 0.339 0.207 2.419 0.289 0.723 0.000 0.296 6.504

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

230 277 197 198 529 3239 0 332 8649

N.S.

1 1.20 0.86 0.86 2.30 14.08 0.00 1.44 37.60

time (sec)

N/A 0.436 0.311 2.540 0.298 2.340 0.000 0.281 7.467

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 196 196 311 334 1044 615 340 409

N.S.

1 1.00 1.00 1.59 1.70 5.33 3.14 1.73 2.09

time (sec)

N/A 0.405 0.078 2.325 0.290 0.262 7.521 0.276 4.575

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 160 160 231 253 817 515 254 318

N.S.

1 1.00 1.00 1.44 1.58 5.11 3.22 1.59 1.99

time (sec)

N/A 0.366 0.064 2.323 0.300 0.257 1.833 0.278 0.141

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 130 139 170 185 606 422 178 240

N.S.

1 1.00 1.07 1.31 1.42 4.66 3.25 1.37 1.85

time (sec)

N/A 0.331 0.060 2.322 0.282 0.282 1.013 0.289 4.750

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 129 106 124 138 449 223 126 130

N.S.

1 1.11 0.91 1.07 1.19 3.87 1.92 1.09 1.12

time (sec)

N/A 0.244 0.058 2.307 0.297 0.257 0.545 0.275 4.733

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 84 76 92 301 150 78 81

N.S.

1 1.00 0.91 0.83 1.00 3.27 1.63 0.85 0.88

time (sec)

N/A 0.190 0.046 2.293 0.281 0.252 0.313 0.287 4.524

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 197 139 158 278 1587 0 218 6033

N.S.

1 1.22 0.86 0.98 1.73 9.86 0.00 1.35 37.47

time (sec)

N/A 0.346 0.234 2.443 0.323 0.802 0.000 0.279 6.618

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 280 197 196 530 3251 0 333 8635

N.S.

1 1.19 0.83 0.83 2.25 13.78 0.00 1.41 36.59

time (sec)

N/A 0.460 0.260 8.528 0.300 2.414 0.000 0.281 7.581

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

315 371 233 257 820 5070 0 574 11150

N.S.

1 1.18 0.74 0.82 2.60 16.10 0.00 1.82 35.40

time (sec)

N/A 0.589 0.560 2.534 0.325 7.150 0.000 0.296 8.214

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 24 23 33 33 31 20 31

N.S.

1 1.00 0.71 0.68 0.97 0.97 0.91 0.59 0.91

time (sec)

N/A 0.157 0.009 2.304 0.191 0.244 0.057 0.280 4.622

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 52 41 33 48 67 46 54 47

N.S.

1 1.11 0.87 0.70 1.02 1.43 0.98 1.15 1.00

time (sec)

N/A 0.173 0.011 2.348 0.278 0.249 0.082 0.296 0.046

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 215 180 159 281 398 301 201 0

N.S.

1 0.93 0.78 0.69 1.22 1.72 1.30 0.87 0.00

time (sec)

N/A 0.345 0.252 2.447 0.215 0.319 0.444 0.308 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 140 122 110 168 264 189 129 0

N.S.

1 0.94 0.82 0.74 1.13 1.77 1.27 0.87 0.00

time (sec)

N/A 0.247 0.157 2.360 0.213 0.290 0.369 0.305 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 83 74 62 81 158 104 70 0

N.S.

1 0.95 0.85 0.71 0.93 1.82 1.20 0.80 0.00

time (sec)

N/A 0.188 0.085 2.324 0.191 0.264 0.314 0.285 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 48 36 28 94 41 37 35

N.S.

1 1.00 1.04 0.78 0.61 2.04 0.89 0.80 0.76

time (sec)

N/A 0.155 0.009 2.276 0.196 0.289 0.958 0.279 4.492

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 99 112 0 596 0 0 0

N.S.

1 1.00 1.21 1.37 0.00 7.27 0.00 0.00 0.00

time (sec)

N/A 0.220 0.230 2.517 0.000 0.292 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 99 69 0 369 0 217 0

N.S.

1 1.00 1.21 0.84 0.00 4.50 0.00 2.65 0.00

time (sec)

N/A 0.190 0.301 2.380 0.000 0.322 0.000 0.891 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 148 1268 120 0 698 0 487 0

N.S.

1 0.99 8.51 0.81 0.00 4.68 0.00 3.27 0.00

time (sec)

N/A 0.249 9.417 2.429 0.000 0.355 0.000 1.834 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 234 227 199 0 1220 0 958 0

N.S.

1 1.12 1.09 0.96 0.00 5.87 0.00 4.61 0.00

time (sec)

N/A 0.340 10.643 8.636 0.000 0.639 0.000 1.481 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

272 231 225 208 364 502 529 260 0

N.S.

1 0.85 0.83 0.76 1.34 1.85 1.94 0.96 0.00

time (sec)

N/A 0.349 0.348 2.485 0.199 0.422 0.489 0.306 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 163 158 142 227 344 330 175 0

N.S.

1 0.83 0.81 0.72 1.16 1.76 1.68 0.89 0.00

time (sec)

N/A 0.251 0.226 2.399 0.200 0.298 0.441 0.307 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 105 99 87 116 210 175 103 0

N.S.

1 0.89 0.84 0.74 0.98 1.78 1.48 0.87 0.00

time (sec)

N/A 0.195 0.137 2.351 0.205 0.283 0.340 0.282 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 68 60 48 43 124 70 49 37

N.S.

1 1.05 0.92 0.74 0.66 1.91 1.08 0.75 0.57

time (sec)

N/A 0.171 0.013 2.293 0.199 0.286 1.597 0.278 4.552

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 119 126 116 0 721 0 0 0

N.S.

1 1.05 1.12 1.03 0.00 6.38 0.00 0.00 0.00

time (sec)

N/A 0.269 0.288 2.446 0.000 0.375 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 142 145 147 0 907 0 317 0

N.S.

1 1.08 1.11 1.12 0.00 6.92 0.00 2.42 0.00

time (sec)

N/A 0.272 0.474 2.428 0.000 0.355 0.000 0.304 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

113 119 163 94 0 526 0 451 0

N.S.

1 1.05 1.44 0.83 0.00 4.65 0.00 3.99 0.00

time (sec)

N/A 0.216 10.514 2.496 0.000 0.327 0.000 1.672 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 185 212 179 0 972 0 919 0

N.S.

1 0.93 1.07 0.90 0.00 4.88 0.00 4.62 0.00

time (sec)

N/A 0.268 10.509 2.585 0.000 0.440 0.000 1.336 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

300 329 305 270 0 1604 0 1557 0

N.S.

1 1.10 1.02 0.90 0.00 5.35 0.00 5.19 0.00

time (sec)

N/A 0.472 10.908 2.600 0.000 1.374 0.000 4.018 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

349 259 269 247 447 608 823 321 0

N.S.

1 0.74 0.77 0.71 1.28 1.74 2.36 0.92 0.00

time (sec)

N/A 0.372 0.481 2.538 0.203 0.520 0.660 0.303 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 185 190 172 286 420 520 221 0

N.S.

1 0.77 0.79 0.71 1.19 1.74 2.16 0.92 0.00

time (sec)

N/A 0.273 0.312 2.443 0.215 0.363 0.579 0.321 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 127 123 108 151 260 279 135 0

N.S.

1 0.85 0.83 0.72 1.01 1.74 1.87 0.91 0.00

time (sec)

N/A 0.213 0.189 2.388 0.217 0.320 0.423 0.293 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 90 71 59 58 146 97 63 37

N.S.

1 1.07 0.85 0.70 0.69 1.74 1.15 0.75 0.44

time (sec)

N/A 0.177 0.023 2.322 0.196 0.263 2.672 0.288 4.525

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 170 157 136 0 935 0 0 0

N.S.

1 1.08 1.00 0.87 0.00 5.96 0.00 0.00 0.00

time (sec)

N/A 0.350 0.348 2.454 0.000 0.843 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 182 187 180 0 1236 0 405 0

N.S.

1 1.04 1.07 1.03 0.00 7.06 0.00 2.31 0.00

time (sec)

N/A 0.369 0.575 2.586 0.000 0.659 0.000 0.320 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 218 252 194 0 1517 0 659 0

N.S.

1 1.12 1.30 1.00 0.00 7.82 0.00 3.40 0.00

time (sec)

N/A 0.381 1.340 2.649 0.000 0.498 0.000 0.319 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

144 156 201 144 0 706 0 846 0

N.S.

1 1.08 1.40 1.00 0.00 4.90 0.00 5.88 0.00

time (sec)

N/A 0.251 10.597 2.674 0.000 0.371 0.000 1.313 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 222 258 234 0 1258 0 1448 0

N.S.

1 0.89 1.04 0.94 0.00 5.05 0.00 5.82 0.00

time (sec)

N/A 0.307 10.655 3.119 0.000 0.786 0.000 3.770 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 46 33 0 42 0 95 83

N.S.

1 1.00 1.53 1.10 0.00 1.40 0.00 3.17 2.77

time (sec)

N/A 0.163 0.079 2.615 0.000 0.246 0.000 0.277 0.407

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 49 57 59 67 0 70 59

N.S.

1 1.00 1.81 2.11 2.19 2.48 0.00 2.59 2.19

time (sec)

N/A 0.162 0.090 2.431 0.293 0.254 0.000 0.287 0.169

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 37 56 110 74 0 118 85

N.S.

1 1.00 1.48 2.24 4.40 2.96 0.00 4.72 3.40

time (sec)

N/A 0.156 0.046 2.348 0.293 0.243 0.000 0.280 5.001

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 185 138 118 199 300 199 150 0

N.S.

1 1.09 0.82 0.70 1.18 1.78 1.18 0.89 0.00

time (sec)

N/A 0.310 0.164 2.418 0.198 0.285 0.358 0.292 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 116 90 78 109 192 134 90 0

N.S.

1 1.07 0.83 0.72 1.01 1.78 1.24 0.83 0.00

time (sec)

N/A 0.223 0.094 2.351 0.206 0.280 0.329 0.287 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 65 47 47 113 82 49 86

N.S.

1 1.00 1.12 0.81 0.81 1.95 1.41 0.84 1.48

time (sec)

N/A 0.170 0.155 2.292 0.195 0.258 0.255 0.285 5.149

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 21 13 59 17 37 20

N.S.

1 1.00 1.00 0.84 0.52 2.36 0.68 1.48 0.80

time (sec)

N/A 0.144 0.002 2.279 0.207 0.265 0.522 0.282 0.124

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 67 42 0 241 0 70 0

N.S.

1 1.00 1.37 0.86 0.00 4.92 0.00 1.43 0.00

time (sec)

N/A 0.162 0.103 2.329 0.000 0.298 0.000 0.278 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 118 87 0 463 0 242 0

N.S.

1 1.00 1.17 0.86 0.00 4.58 0.00 2.40 0.00

time (sec)

N/A 0.216 0.267 2.388 0.000 0.364 0.000 0.294 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 181 160 149 0 864 0 538 0

N.S.

1 1.11 0.98 0.91 0.00 5.30 0.00 3.30 0.00

time (sec)

N/A 0.281 0.656 2.557 0.000 0.487 0.000 1.736 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 270 198 192 311 584 0 235 0

N.S.

1 1.05 0.77 0.75 1.21 2.27 0.00 0.91 0.00

time (sec)

N/A 0.408 0.395 2.476 0.194 0.352 0.000 0.296 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 178 139 137 197 416 0 157 0

N.S.

1 1.05 0.82 0.81 1.17 2.46 0.00 0.93 0.00

time (sec)

N/A 0.333 0.250 2.429 0.189 0.287 0.000 0.291 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 110 95 93 108 276 0 92 0

N.S.

1 1.22 1.06 1.03 1.20 3.07 0.00 1.02 0.00

time (sec)

N/A 0.230 0.164 2.394 0.196 0.267 0.000 0.302 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 58 55 46 167 60 50 53

N.S.

1 1.00 1.07 1.02 0.85 3.09 1.11 0.93 0.98

time (sec)

N/A 0.171 0.081 2.306 0.194 0.267 2.117 0.274 4.818

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 23 17 14 14

N.S.

1 1.00 1.00 0.94 0.88 1.44 1.06 0.88 0.88

time (sec)

N/A 0.136 0.001 2.286 0.200 0.251 0.370 0.278 0.042

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 96 92 0 441 0 107 0

N.S.

1 1.00 1.22 1.16 0.00 5.58 0.00 1.35 0.00

time (sec)

N/A 0.197 0.231 2.358 0.000 0.324 0.000 0.293 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 153 151 150 0 864 0 318 0

N.S.

1 1.07 1.06 1.05 0.00 6.04 0.00 2.22 0.00

time (sec)

N/A 0.271 0.590 2.447 0.000 0.491 0.000 0.872 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 250 1392 214 0 1482 0 643 0

N.S.

1 1.11 6.19 0.95 0.00 6.59 0.00 2.86 0.00

time (sec)

N/A 0.370 13.395 2.661 0.000 0.878 0.000 1.213 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 274 202 198 392 684 0 237 0

N.S.

1 1.07 0.79 0.78 1.54 2.68 0.00 0.93 0.00

time (sec)

N/A 0.427 0.476 2.547 0.203 0.398 0.000 0.296 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 187 143 142 254 486 0 158 0

N.S.

1 1.09 0.83 0.83 1.48 2.83 0.00 0.92 0.00

time (sec)

N/A 0.343 0.270 2.479 0.205 0.298 0.000 0.293 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 115 91 105 147 318 0 103 0

N.S.

1 1.10 0.87 1.00 1.40 3.03 0.00 0.98 0.00

time (sec)

N/A 0.226 0.172 2.363 0.212 0.274 0.000 0.282 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 37 34 68 54 144 40 33

N.S.

1 1.00 0.79 0.72 1.45 1.15 3.06 0.85 0.70

time (sec)

N/A 0.157 0.077 2.323 0.188 0.253 4.024 0.284 4.550

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 29 26 31 47 95 27 28

N.S.

1 1.00 0.74 0.67 0.79 1.21 2.44 0.69 0.72

time (sec)

N/A 0.151 0.002 2.293 0.181 0.290 0.502 0.279 4.517

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 139 130 124 0 764 0 320 0

N.S.

1 1.14 1.07 1.02 0.00 6.26 0.00 2.62 0.00

time (sec)

N/A 0.257 0.362 2.398 0.000 0.483 0.000 0.283 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 228 219 208 0 1440 0 620 0

N.S.

1 1.13 1.08 1.03 0.00 7.13 0.00 3.07 0.00

time (sec)

N/A 0.365 1.262 2.628 0.000 0.952 0.000 0.888 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

313 353 367 302 0 2250 0 1010 0

N.S.

1 1.13 1.17 0.96 0.00 7.19 0.00 3.23 0.00

time (sec)

N/A 0.502 3.262 2.567 0.000 2.764 0.000 1.720 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 187 163 150 465 229 0 218 326

N.S.

1 0.83 0.73 0.67 2.08 1.02 0.00 0.97 1.46

time (sec)

N/A 0.263 0.354 2.415 0.217 0.416 0.000 0.299 5.039

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 150 107 96 249 151 0 138 176

N.S.

1 0.86 0.61 0.55 1.43 0.87 0.00 0.79 1.01

time (sec)

N/A 0.241 0.194 2.382 0.188 0.292 0.000 0.300 5.040

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 88 60 52 103 87 566 72 87

N.S.

1 0.97 0.66 0.57 1.13 0.96 6.22 0.79 0.96

time (sec)

N/A 0.190 0.115 2.418 0.203 0.278 10.373 0.288 4.904

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 29 26 31 47 95 27 28

N.S.

1 1.00 0.74 0.67 0.79 1.21 2.44 0.69 0.72

time (sec)

N/A 0.150 0.053 2.312 0.189 0.245 0.518 0.285 4.547

[next] [front] [up]